David Carnegie

Results: 214



#Item
101Typed Memory Management in a Calculus of Capabilities∗ Karl Crary Carnegie Mellon University David Walker Cornell University

Typed Memory Management in a Calculus of Capabilities∗ Karl Crary Carnegie Mellon University David Walker Cornell University

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-04-14 16:12:21
102Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song Carnegie Mellon University {david.brumley,dawn.song}@cs.cmu.edu ∗ Abstract Privilege separation partitions a single pr

Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song Carnegie Mellon University {david.brumley,dawn.song}@cs.cmu.edu ∗ Abstract Privilege separation partitions a single pr

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
103TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
104AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract

AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract

Add to Reading List

Source URL: security.ece.cmu.edu

Language: English - Date: 2011-05-02 14:34:52
105Tesseract: A 4D Network Control Plane Hong Yan† , David A. Maltz‡ , T. S. Eugene Ng§ , Hemant Gogineni† , Hui Zhang† , Zheng Cai§ † Carnegie Mellon University ‡ Microsoft Research § Rice University Abstrac

Tesseract: A 4D Network Control Plane Hong Yan† , David A. Maltz‡ , T. S. Eugene Ng§ , Hemant Gogineni† , Hui Zhang† , Zheng Cai§ † Carnegie Mellon University ‡ Microsoft Research § Rice University Abstrac

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2007-04-08 21:08:17
106Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-03-17 11:29:44
107TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract

Add to Reading List

Source URL: www.isoc.org

Language: English - Date: 2011-05-09 09:06:43
108All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field

All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2010-08-16 00:26:51
109Thanassis Avgerinos Carnegie Mellon University Department of Electrical and Computer Engineering 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA

Thanassis Avgerinos Carnegie Mellon University Department of Electrical and Computer Engineering 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-12-07 23:17:31
110Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University

Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2000-03-08 17:36:45